Prove that root 6 is irrational